
  \only<2>{
    \[
    \infer[\AndR]
    {\Seq{p\And q}{q \And p}}
    {
      \Seq{p\And q}{q}
      &
      \Seq{p\And q}{p}
    }
    \]
  }

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
